对定理 2.9.3 两端的式子做 L-S 变换, 得

于是有

由 L-S 变换与逆变换的一一对应, 得到 也是一一对应的. 证毕.